PDF Document

Source URL: kcsrk.info

• Computing
• Transaction processing
• Software
• Concurrent computing
• Data management
• Concurrency control
• Consistency model
• Distributed algorithms
• Programming language semantics
• Eventual consistency
• Consistency
• Conflict-free replicated data type

Administrivia • Please say your name if you answer a question today • If we don’t have a photo of you yet, stay after class • If you didn’t get test email, let us know – p. 1/20

Source URL: www.scs.stanford.edu

• Computer memory
• Concurrency control
• Linearizability
• Data
• Sequential consistency
• Parallel computing
• Consistency model
• Circular buffer
• Write
• Transaction processing
• Computing
• Computer architecture

Replicated Data Consistency Explained Through Baseball Doug Terry Microsoft Research Silicon Valley MSR Technical Report October 2011

Source URL: research.microsoft.com

• Structured storage
• Consistency model
• Data management
• Amazon SimpleDB
• NoSQL
• Eventual consistency
• Data consistency
• Replication
• Weak consistency
• Computing
• Data
• Transaction processing

Session Guarantees for Weakly Consistent Replicated Data Douglas B. Terry, Alan J. Demers, Karin Petersen, Mike J. Spreitzer, Marvin M. Theimer, and Brent B. Welch Computer Science Laboratory Xerox Palo Alto Research Cen

Source URL: www.researchgate.net

• NoSQL
• Transaction processing
• Computer storage
• Fault-tolerant computer systems
• Distributed computing architecture
• Session
• Replication
• Consistency model
• IBM Lotus Notes
• Data management
• Computing
• Data

SEPTEMBERWRL Research ReportShared Memory

Source URL: www.scs.stanford.edu

• Computer memory
• Transaction processing
• Compiler construction
• Concurrency
• Programming language design
• Consistency model
• Sequential consistency
• Memory model
• Linearizability
• Computing
• Software engineering
• Computer architecture

Review: Thread package API • tid thread create (void (*fn) (void *), void *arg); - Create a new thread that calls fn with arg • void thread exit (); • void thread join (tid thread);

Source URL: www.scs.stanford.edu

• Computer architecture
• Computer hardware
• Transaction processing
• Central processing unit
• Linearizability
• CPU cache
• Parallel computing
• Thread
• Consistency model
• Computing
• Computer memory
• Concurrency control

Towards Maintaining Consistency of Spatial Databases Alia I. Abdelmoty and Chris B. Jones Dept. of Computer Studies, University of Glamorgan, Pontypridd, Mid Glamorgan, CF37 1DL, Wales, U.K. email: aiabdel,cbjones@glam.a

Source URL: users.cs.cf.ac.uk

• Knowledge representation
• Data management
• Computing
• Software engineering
• Equivalence of categories
• Spatial database
• Geographic information system
• Object
• Data model
• Database management systems
• Category theory
• Object-oriented programming

Checking UML and OCL Model Consistency: An Experience Report on a Middle-Sized Case Study Martin Gogolla, Lars Hamann, Frank Hilken, Matthias Sedlmeier Database Systems Group, University of Bremen, Germany {gogolla|lhama

Source URL: www.db.informatik.uni-bremen.de

Linearizability: A Correctness Condition for Concurrent Objects MAURICE P. HERLIHY and JEANNETTE Carnegie Mellon University M. WING

Source URL: cs.brown.edu

• Data
• Information
• Linearizability
• Monitor
• Sequential consistency
• Concurrent data structure
• Communications protocol
• Consistency model
• Concurrent computing
• Computing
• Concurrency control
• Transaction processing

Experience with Model Checking Linearizability Martin Vechev, Eran Yahav, and Greta Yorsh IBM T.J. Watson Research Center Non-blocking concurrent algorithms offer significant performance advantages, but are very difficul

Source URL: www.cs.technion.ac.il

• Transaction processing
• Memory management
• Linearizability
• Parallel computing
• Concurrent data structure
• Non-blocking algorithm
• Garbage collection
• Algorithm
• Sequential consistency
• Computing
• Concurrent computing
• Concurrency control